منابع مشابه
Unsound Inferences Make Proofs Shorter
We give examples of calculi that extend Gentzen’s sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs.
متن کاملMulti-prover Interactive Proofs: Unsound Foundations
Several Multi-Prover Interactive Proofs (MIPs) found in the literature contain proofs of soundness that are lacking. This was first observed [1] in which a notion of Prover isolation is defined to partly address the issue. Furthermore, some existing Zero-Knowledge MIPs suffer from a catastrophic flaw: they outright allow the Provers to communicate via the Verifier. Consequently, their soundness...
متن کاملTwo Shorter Proofs in Spectral Graph Theory
Let G be a simple graph with V (E) as its vertex (respectively, edge) set. The spectrum of G is the spectrum of its adjacency matrix. For all other definitions (or notation not given here), especially those related to graph spectra, see [1]. The purpose of this note is to provide shorter proofs of two inequalities already known in spectral graph theory. The first bounds vertex eccentricities of...
متن کاملHow to Make Causal Inferences Using Texts
New text as data techniques offer a great promise: the ability to inductively discover measures that are useful for testing social science theories of interest from large collections of text. We introduce a conceptual framework for making causal inferences with discovered measures as a treatment or outcome. Our framework enables researchers to discover high-dimensional textual interventions and...
متن کاملChimpanzees know that others make inferences.
If chimpanzees are faced with two opaque boards on a table, in the context of searching for a single piece of food, they do not choose the board lying flat (because if food was under there it would not be lying flat) but, rather, they choose the slanted one- presumably inferring that some unperceived food underneath is causing the slant. Here we demonstrate that chimpanzees know that other chim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2018.51